#include <iostream>
using namespace std;

int main() {
    double book[10] = {28.9, 32.7, 45.6, 78, 35, 86.2, 27.8, 43, 56, 65};
    
    double total = 0;
    for (int i = 0; i < 10; i++)
    {
        int num;
        cin >> num;
        total += book[i] * num;
    }
    printf("%.1f", total);
    
    return 0;
}